Towards a metric suite for OCL Expressions expressed within UML/OCL models
نویسندگان
چکیده
UML models quality is clearly a crucial issue that must be evaluated at the initial stages of object-oriented software development, in order to get software products with better quality. This fact is corroborated by the huge amount of metrics that have appeared in the literature related to the measurement of UML diagrams at a high level design stage. Most of these metrics are focused on the measurement of internal quality attributes such as structural complexity, coupling, size, etc. However, none of the proposed metrics take into account the added complexity involved when a UML model are complemented by expressions written in Object Constraint Language (OCL), that is a UML/OCL model. Due OCL is essential in building consistent and coherent platformindependent models we propose a metric suite for structural properties of OCL expressions. These metrics were proposed considering OCL concepts related to the “chunking” and “tracing” cognitive techniques. We believe that cognitive techniques affect the cognitive complexity, and by consequence the understandability and maintainability of expression of UML/OCL models. Therefore, the goal of this paper is to show how we defined these metrics in a methodological way, assuring thus their validity.
منابع مشابه
Ocl Formal Specification Based Metrics as a Measure of Complexity and Fault-proneness
Formal specification of UML models in OCL is essential to improve software quality. Owing to the use of OCL in precise model specification, its application has been looked in different perspectives such as early measurement of module complexity. Moreover, when UML class diagrams are complemented with OCL, the metrics collected from OCL specification can serve as an indicator of fault-prone comp...
متن کاملValidating Metrics for OCL Expressions Expressed within UML/OCL models
Measuring quality is the key to developing high-quality software, and it is widely acknowledged that quality assurance of software products must be guaranteed from the early stages of development, assessing through metrics the quality of early models such as UML diagrams. There exists several proposals of metrics to UML diagrams, such as class diagrams, use case diagrams, etc. But, even though ...
متن کاملRoclET– Refactoring OCL Expressions by Transformations
The role of UML models in software development has changed considerably over the last years. While UML was used in its early days mostly as a notation for sketching ideas, developers more and more recognize now the value of a UML model as a formal document that can be processed by tools, e.g. in order to generate code and documentation. Precise software models, however, can usually not be expre...
متن کاملTypechecking UML Static Models
UML static models are expressed using a mixture of class diagrams and OCL expressions. In a well formed static model, the OCL expressions and class diagrams are type consistent. Checking for type consistency of static models involves both inclusion and parametric poly-morphism. This paper deenes a semantics of type consistency in terms of a type theory for UML static models. The type theory is ...
متن کاملEvaluating and Debugging OCL Expressions in UML Models
This paper discusses the relationship between tests and proofs with focus on a tool for UML and OCL models. Tests are thought of as UML object diagrams and theorems or properties which are to be checked are represented as OCL constraints, i.e., class invariants or operation preand postconditions. The paper shows for the UML and OCL tool USE (UML-based Specification Environment) how to trace and...
متن کامل